Systematic Development of Concurrent Object-Oriented Programs

Systematic Development of Concurrent Object-Oriented Programs

On Concurrent Execution of Object{oriented Programs

In this paper, we introduce object{oriented programs as sets of communicating objects. We investigate possibilities for their concurrent execution, starting with a review of existing concurrent, object{oriented systems. Most of these systems introduce new programming{language features, forcing a programmer to control concurrency by hand. In contrast, we prefer automatic parallelization of progr...

Static Slicing of Concurrent Object-Oriented Programs

Program slicing has many applications such as program debugging, testing, maintenance, and complexity measurement. This paper concerns the problem of slicing concurrent object-oriented programs that has not been addressed in the literatures until now. To solve this problem, we propose a new program dependence representation named the system dependence net (SDN), which extends previous program d...

Visualisation of Concurrent and Object-Oriented Programs

Program visualisation can be deened as the application of graphical constructs to an algorithm or a program in order to visualise and understand its execution, methods, elements and purposes. It can be applied to a wide range of programming domains. It can also be used as a tool during program development. One such use is for understanding and debugging concurrent object-oriented programs. This...

The Stability Problem for Verification of Concurrent Object-Oriented Programs

Modular static verification of concurrent object-oriented programs remains a challenge. This paper discusses the impact of concurrency on the use and meaning of behavioural specifications, and in particular on method contracts and class invariants. Atomicity of methods is often advocated as a solution to the problem of verification of multithreaded programs. However, in a design-by-contract fra...